Llistar Títols

S'han trobat 54 ítems

Llistant ítems des de 50 a 54:

  1  2  3   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 1 gener 2013 Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
media icon DUGiMedia 3 setembre 2024 Thinking fast and slow in AI: A cognitive architecture to augment both AI and human reasoning Rossi, Francesca
media icon DUGiMedia 3 setembre 2024 XCSP Competition Results Lecoutre, Christophe
  1  2  3   

Matèries

Autors